EXTRA_DIST = \
	config.h
